#ifndef _SYS_H_
#define _SYS_H_

#include "at32f413_wk_config.h"
#include "wk_system.h"
#include "define.h"


void set_global_interrupt(confirm_state en);
void sys_tick_init(void);
uint32_t get_sys_tick(void);
void reboot(void);

#endif



